fUML-Driven Performance Analysis through the MOSES Model Library
نویسندگان
چکیده
The growing request for high-quality applications for embedded systems demands model-driven approaches that facilitate their design as well as the verification and validation activities. In this paper we present MOSES, a model-driven performance analysis methodology based on Foundational UML (fUML). Implemented as an executable model library, MOSES provides data structures, as Classes, and algorithms, as Activities, which can be imported to instrument fUML models and then to carry out the performance analysis of the modeled system through fUML model simulation. An industrial case study is provided to showMOSES at work, its achievements and its future challenges.
منابع مشابه
A Model-Driven fUML Execution Engine for C++
This paper introduces an execution engine that is able to run fUML models, described by a subset of UML’s class and activity diagrams’ elements. The execution engine is realized in C++, which leads, in certain conditions, to better memory efficiency and performance of the generated code, compared for example to the fUML standard implementation in Java. As it does not use any platform specific c...
متن کاملResource Contention Analysis of Service-Based Systems through fUML-Driven Model Execution∗
Model-driven software engineering not only enables the efficient development of software but also facilitates the analysis of non-functional properties (NFPs). As UML, the most adopted modeling language for designing software, lacks in formal execution semantics, current approaches translate UML models into dedicated analysis models, before NFPs can be computed. However, such transformations in...
متن کاملOn Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf
Executable and well-defined models are a cornerstone of model driven engineering. We are currently working on a transformation chain from UML models to formal verification tools. In the context of the UML language, the fUML and Alf specifications offer a standardized way for the semantics of the basic model elements and a textual specification language. Open source modeling tools started to ada...
متن کاملBehaviour-Driven Development of Foundational UML Components
Behaviour-Driven Development (BDD) focuses all development activities on the delivery of behaviours what a system should do, described such that developers and domain experts speak the same language. BDD frameworks allow users to represent the required system behaviour as executable user stories and the acceptance criteria as executable scenarios attached to user stories. In this paper we defin...
متن کاملResource Contention Analysis of Cloud-based System through fUML-driven Model Execution
Model-driven software engineering not only enables the efficient development of software but also facilitates the analysis of non-functional properties (NFPs). As UML, the most adopted modeling language for designing software, lacks in formal execution semantics, current approaches translate UML models into dedicated analysis models, before NFPs can be computed. However, such transformations in...
متن کامل